From Data to City Indicators: A Knowledge Graph for Supporting Automatic Generation of Dashboards
نویسندگان
چکیده
In the context of Smart Cities, indicator definitions have been used to calculate values that enable the comparison among different cities. The calculation of an indicator values has challenges as the calculation may need to combine some aspects of quality while addressing different levels of abstraction. Knowledge graphs (KGs) have been used successfully to support flexible representation, which can support improved understanding and data analysis in similar settings. This paper presents an operational description for a city KG, an indicator ontology that support indicator discovery and data visualization and an application capable of performing metadata analysis to automatically build and display dashboards according to discovered indicators. We describe our implementation in an urban mobility setting.
منابع مشابه
Optimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing
Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...
متن کاملAutomatic Interpretation of UltraCam Imagery by Combination of Support Vector Machine and Knowledge-based Systems
With the development of digital sensors, an increasing number of high-resolution images are available. Interpretation of these images is not possible manually, which necessitates seeking for practical, fast and automatic solutions to solve the environmental and location-based management problems. The land cover classification using high-resolution imagery is a difficult process because of the c...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملExplaining the characteristics of the third generation university and examining their achievement in Iranian higher education: Shahid Bahonar University of Kerman case
One of the areas of development in higher education is the move towards benefiting from the third-generation university systems. Accordingly, the main purpose of this study was to explain the characteristics of a third generation university and to examine their achievement from point of view of administrators and faculty members at Shahid Bahonar University of Kerman. The current study was a qu...
متن کاملTowards a Model for the Integration of Time into a Graph-based Key Performance Indicator Analysis
The analysis of relationships between key performance indicators is one of the challenging tasks in modern business applications. On the one hand, a complex network of key performance indicators, based on sensor data and calculations, is obviously available in technical systems, but on the other hand, the final human decision is based on the information provided by visualization types like dash...
متن کامل